/* normal structure with structure in it*/
struct t1 {
	int data;
	int index;
	bool flag;
};

struct t2{
	struct t1 t;
	int index;
};
/*@*/
int main()
{
	struct t2 t;
	t.t.data=1;
	t.t.flag=false;
	t.index =0;
	print(t.index);
	print(t.t.data);
	return 0;
}
/*@*/
